$\exists$$e$$\in$[$e_{1}$,$e_{2}$).$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. $e_{1}$ $\leq$ $e$  \& ($e$ $<$loc $e_{2}$) \& $P$($e$)